The SARS epidemic in mainland China: bringing together all epidemiological data

Bringing them all Together

A sequent calculus for hybrid logics is developed from a calculus for classical predicat logic by a series of transformations. We formalize the semantic theory of hybrid logic using a sequent calculus for predicate logic plus axioms. This works, but it is ugly. The unnattractive features are removed one-by-one, until the final vestiges of the metalanguage can be set aside to reveal a fully inte...

The severe acute respiratory syndrome epidemic in mainland China dissected

This paper provides a review of a recently published series of studies that give a detailed and comprehensive documentation of the severe acute respiratory syndrome (SARS) epidemic in mainland China, which severely struck the country in the spring of 2003. The epidemic spanned a large geographical extent but clustered in two areas: first in Guangdong Province, and about 3 months later in Beijin...

Molecular evolution of the SARS coronavirus during the course of the SARS epidemic in China.

Sixty-one SARS coronavirus genomic sequences derived from the early, middle, and late phases of the severe acute respiratory syndrome (SARS) epidemic were analyzed together with two viral sequences from palm civets. Genotypes characteristic of each phase were discovered, and the earliest genotypes were similar to the animal SARS-like coronaviruses. Major deletions were observed in the Orf8 regi...

A deficient public health system as a contributing cause of Severe Acute Respiratory Syndrome (SARS) epidemic in mainland China.

SARS (Severe Acute Respiratory Syndrome) is a newly emerging infectious disease which spread over 32 countries and areas, infected more than 8,000 people and causing more than 900 deaths from November 2002 to August 2003. More than 90% of the SARS cases and death were reported from China. Nevertheless, we still know little about this disease, particularly in etiology. SARS, as an emergency of P...

Bringing It All Together: Bedside to Bench and Back Again.